1. Automata
پدیدآورنده : Hopkin, David.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine theory,، Turing machines,، Computable functions
رده :
QA
267
.
H57
2. Computability and decidability; an introduction for students of computer science
پدیدآورنده : Loeckx, Jacques
موضوع : ، Sequential machine theory,، Turing machines
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Computability theory : concepts and applications
پدیدآورنده : Dunne, Paul E
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computable functions , Recursion theory , Turing machines
رده :
QA
9
.
59
.
D85
4. Computational analysis with the HP 25 pocket calculator
پدیدآورنده : Henrici, Peter
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Data processing ، Numerical analysis,Data processing ، Numbers, Theory of,، Calculating-machines
رده :
QA
297
.
H399
5. Die Gesetzmassigkeiten kombinatorischer technik
پدیدآورنده : Nasvytis, Algirdas
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic calculating- machines,، Punched card systems,، Information theory
رده :
QA
76
.
N31
6. Efficient Auction Games
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Energy; Energy Systems; Power Electronics, Electrical Machines and Networks; Control; Game Theory; Automotive Engineering
7. Elecktronische zahlschaltungen. Eine Einfuhrung in ihre wirkungsweise und Technik
پدیدآورنده : Apel, Konstantin
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic calculating-- Machines,، Switching theory
رده :
TK
7885
.
A6
1967
8. Iterative arrays of logical circuits
پدیدآورنده :
موضوع : Electronic calculating machines--Circuits,Switching theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Mathematical epistemology and psychology
پدیدآورنده : Beth, Evert Willem, 8091-4691
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Logic machines,Mathematical models ، Psychology,، Knowledge, Theory of
رده :
BC
135
.
B4413
10. Rechteck-ferritkerne; Berechnung der schaltvorgange fur pratische anwendungen
پدیدآورنده : Neeteson, Pieter Adrianus
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Ferrites )Magnetic materials(,، Switching theory,، Electronic calculating-machines-- Circuits
رده :
TK
7885
.
N415
11. Theory of machines
پدیدآورنده : Khurmi, R. S.
کتابخانه: (Semnan)
موضوع : ، Machines theory
رده :
TJ
175
.
K4T4
12. Theory of machines
پدیدآورنده : Shigley, Joseph Edward
کتابخانه: (Semnan)
موضوع : ، Machines theory
رده :
TJ
175
.
S3T4
13. Theory of machines
پدیدآورنده : Sharif, Abdulla
کتابخانه: (Semnan)
موضوع : ، Machines theory
رده :
TJ
175
.
S5T4
14. Theory of machines )IN SI UNITS(
پدیدآورنده : Singh, V. P.
کتابخانه: (Semnan)
موضوع : ، Machines theory
رده :
TJ
145
.
S55